More from this Author

Semantics

by J. W. De Bakker (Editor), W. P. De Roever (Editor), Grzegorz Rozenberg (Editor)

Formal Techniques in Real-Time and Fault-Tolerant Systems

by H. Langmaack (Editor), W. P. De Roever (Editor), Jan Vytopil (Editor)